Paul Levy

Results: 68



#Item
11A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013

A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2013-10-21 08:35:46
12Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”,

Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”,

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2008-07-23 07:52:00
13Coproducts of Monads on Set Jiˇr´ı Ad´amek, Stefan Milius Nathan Bowler Paul B. Levy

Coproducts of Monads on Set Jiˇr´ı Ad´amek, Stefan Milius Nathan Bowler Paul B. Levy

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2012-06-05 09:36:57
14Jumbo λ-Calculus Paul Blain Levy University of Birmingham Abstract. We make an argument that, for any study involving computational effects such as divergence or continuations, the traditional syntax of simply typed lam

Jumbo λ-Calculus Paul Blain Levy University of Birmingham Abstract. We make an argument that, for any study involving computational effects such as divergence or continuations, the traditional syntax of simply typed lam

Add to Reading List

Source URL: www.cs.bham.ac.uk

- Date: 2007-05-03 10:47:11
    15MFPS XX1 Preliminary Version Infinite Trace Equivalence Paul Blain Levy 1

    MFPS XX1 Preliminary Version Infinite Trace Equivalence Paul Blain Levy 1

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2007-05-03 10:47:16
      16Nondeterminism, fixpoints and bisimulation Paul Blain Levy University of Birmingham November 12, 2010

      Nondeterminism, fixpoints and bisimulation Paul Blain Levy University of Birmingham November 12, 2010

      Add to Reading List

      Source URL: www.cs.bham.ac.uk

      Language: English - Date: 2010-11-12 07:32:52
        17Amb breaks well-pointedness, ground amb doesn’t Paul Blain Levy School of Computer Science, University of Birmingham, UK Amb breaks well-pointedness, ground amb doesn’t – p. 1/21

        Amb breaks well-pointedness, ground amb doesn’t Paul Blain Levy School of Computer Science, University of Birmingham, UK Amb breaks well-pointedness, ground amb doesn’t – p. 1/21

        Add to Reading List

        Source URL: www.cs.bham.ac.uk

        Language: English - Date: 2007-05-03 10:47:20
          18Noname manuscript No. (will be inserted by the editor) Call-By-Push-Value: Decomposing Call-By-Value And Call-By-Name Paul Blain Levy

          Noname manuscript No. (will be inserted by the editor) Call-By-Push-Value: Decomposing Call-By-Value And Call-By-Name Paul Blain Levy

          Add to Reading List

          Source URL: www.cs.bham.ac.uk

          Language: English - Date: 2007-05-03 10:47:18
            19New Directions for Self-Destructing Data Systems Roxana Geambasu, Tadayoshi Kohno, Arvind Krishnamurthy, Amit Levy, Henry Levy University of Washington Paul Gardner

            New Directions for Self-Destructing Data Systems Roxana Geambasu, Tadayoshi Kohno, Arvind Krishnamurthy, Amit Levy, Henry Levy University of Washington Paul Gardner

            Add to Reading List

            Source URL: vanish.cs.washington.edu

            Language: English - Date: 2011-08-24 18:20:29
              20MFPSMonads and Adjunctions for Global Exceptions Paul Blain Levy 1 School of Computer Science University of Birmingham

              MFPSMonads and Adjunctions for Global Exceptions Paul Blain Levy 1 School of Computer Science University of Birmingham

              Add to Reading List

              Source URL: www.cs.bham.ac.uk

              Language: English - Date: 2007-05-03 10:47:11